Outsourcing computation with verifiability is amerging notion in cloud computing, which enables lightweight clients to outsource\ncostly computation tasks to the cloud and efficiently check the correctness of the result in the end. This advanced notion is more\nimportant in marine mobile computing since the oceangoing vessels are usually constrained with less storage and computation\nresources. In such a scenario, vessels always firstly outsource data set and perform a function computing over them or at first\noutsource computing functions and input data set into them. However, vessels may choose which delegation computation type to\noutsource, which generally depends on the actual circumstances. Hence, we propose a scalable verifiable outsourcing computation\nprotocol (SV-OC) inmarine cloud computing at first and extract a single-mode versionof it (SM-SV-OC),where both protocols\nallow anyone who holds verification tokens to efficiently verify the computed result returned fromcloud. In this way, the introduced\nââ?¬Å?scalableââ?¬Â property lets vessels adjust the protocol to cope with different delegation situations in practice. We additionally prove\nbothSV-OC andSM-SV-OC achieving selective soundness in the random oracle model and evaluate their performance in the\nend.
Loading....